Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
521	A Stepper for Scheme Macros Ryan Culpepper Matthias Felleisen Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:15 Functional languages Lisp programming language Transformation languages Source code Macro programming languages Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
522	Inferring Numeric Invariants by Abstract Interpretation Antoine Min´e ´ CNRS & Ecole normale sup´ Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-15 08:17:36 Functional languages Abstract interpretation Abstraction Polyhedron J Software engineering Computer programming Computing
523	Places: Adding Message-Passing Parallelism to Racket Kevin Tew University of Utah James Swaine Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2011-08-28 15:28:28 Parallel computing Functional languages Procedural programming languages Concurrent computing Application programming interfaces OpenMP Racket Garbage collection Immutable object Computing Computer programming Software engineering
524	Clojure and Modularity Philly Lambda Tuesday, July 21, 2009 Stuart Sierra http://stuartsierra.com/ Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2009-07-22 11:08:54 Subroutines Functional languages Clojure Method Main function Constructor Parameter Lisp D Software engineering Computing Computer programming
525	Cost Models Chapter Twenty-One Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:47:33 Lisp programming language Data types Functional languages Append Functional programming Prolog List Programming language Lisp Software engineering Computing Computer programming
526	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
527	CYLINDER UP LIGHT THE CYLINDER SERIES IS A SYSTEM OF FIXTURES THAT ELEVATE THE EXPERIENCE OF FUNCTIONAL LIGHTING. A WEIGHTY BASE ANCHORS THE ADJUSTABLE PIVOTING HEAD TO CAST LIGHT UPWARDS. BRASS TURN-DIMMER KNOB AND WOVE Add to Reading List Source URL: apparatusstudio.com Language: English - Date: 2015-05-13 12:48:44 Languages of Taiwan Unicode blocks
528	Clojure and AltLaw.org LispNYC June 9, 2009 Stuart Sierra “System” languages Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2009-06-11 00:51:37 Functional languages Cross-platform software Java platform Subroutines Clojure Method Lisp Main function Java Computing Software engineering Computer programming
529	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory

UPDATE